#include "types.h"
#include "user.h"
#include "fcntl.h"

int
main(int argc, char *argv[])
{
  int free = freeblockscount();
  printf(1,"Free blocks: %d\n", free);
  exit();
}
